контроль типа

контроль типа

3.3.12 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечания

1. Выражение отнесено к определенному типу правильно, если тип данных каждого операнда каждого оператора этого выражения соответствует требуемому типу данных.

2. В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.

4.72 контроль типа (type control): Операция, которая позволяет определить, правильно или нет данное выражение отнесено к определенному типу.

Примечание 1 - Выражение отнесено к определенному типу правильно, если тип данных каждого оператора каждого выражения соответствует требуемому типу данных.

Примечание 2 - В настоящем стандарте контроль типа обеспечивается ограничениями EXPRESS-схемы.


Словарь-справочник терминов нормативно-технической документации. . 2015.

Игры ⚽ Поможем сделать НИР

Полезное


Смотреть что такое "контроль типа" в других словарях:

  • контроль — 2.7 контроль (control): Примечание В контексте безопасности информационно телекоммуникационных технологий термин «контроль» может считаться синонимом «защитной меры» (см. 2.24). Источник …   Словарь-справочник терминов нормативно-технической документации

  • КОНТРОЛЬ БАКТЕРИЙНЫХ ПРЕПАРАТОВ — (вакцин) как гос. контроль вакцин и леч. сывороток введен в РСФСР в 1919 г. и сосредоточен в Москве в Ин те экспериментальной терапии и контроля сывороток и вакцин им. Тарасевича. Все вакцины, леч. сыворотки и другие бактерийные препараты… …   Большая медицинская энциклопедия

  • КОНТРОЛЬ СОЦИАЛЬНЫЙ —         см. Социальный контроль. Философский энциклопедический словарь. М.: Советская энциклопедия. Гл. редакция: Л. Ф. Ильичёв, П. Н. Федосеев, С. М. Ковалёв, В. Г. Панов. 1983. КОНТРОЛЬ СОЦИАЛЬНЫЙ …   Философская энциклопедия

  • Контроль активный —         контроль деталей непосредственно в процессе обработки на станке или вне станка, дающий информацию о необходимости изменения режимов обработки или подналадки станка (изменение положения между инструментом и деталью). Название «активный»… …   Большая советская энциклопедия

  • Контроль доступа (информатика) — Контроль доступа – функция открытой системы, обеспечивающая технологию безопасности, которая разрешает или запрещает доступ к определенным типам данных, основанную на идентификации объекта, которому нужен доступ, и объекта данных являющегося… …   Википедия

  • контроль внутренний — контроль внутрихозяйственный Осуществление специальным подразделением предприятия контроля за состоянием бухгалтерского учета, проведение комплексного анализа хозяйственной и финансовой деятельности экономического субъекта с целью наметить пути… …   Справочник технического переводчика

  • Контроль доступа — является одной из самых важных элементов защиты вашего ПК и Информации на нем. Доступ к защищенной информации должен быть ограничен, чтобы только люди, которые имеют право доступа, могли получать эту информацию. Компьютерные программы и во многих …   Википедия

  • контроль дефектоскопический дополнительный — ДДК Контроль, проводимый с целью уточнения типа и параметров дефекта, обнаруженного внутритрубным инспекционным прибором, и выявления возможных дополнительных дефектов методами неразрушающего контроля. [РД 01.120.00 КТН 228 06] Тематики… …   Справочник технического переводчика

  • Контроль натяжения армату­ры — – пределение величины натяжения арматуры с приме­нением различных приборов: оттяжных динамометров, концевых арматурных динамометров, приборов частот­ного типа. [Терминологический словарь по бетону и железобетону. ФГУП «НИЦ «Строительство»… …   Энциклопедия терминов, определений и пояснений строительных материалов

  • Контроль качества лабораторных исследований — подразделяется на внутренний (внутри лаборатории) и внешний (со стороны контролирующих органов). Цели контроля: 1) определить, насколько достоверные, надежные и сравнимые результаты выдает лаборатория или конкретный лабораторный работник; 2)… …   Словарь микробиологии


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»